181. Introduction to real - time software design
پدیدآورنده : Allworth, S. T.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Real-time data processing,، Programming )Electronic computers(
رده :
QA
76
.
54
.
A44
1984
182. Introduction to real-time software design
پدیدآورنده : Allworth, S. T.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Real-time data processing,، Programming )Electronic computers(
رده :
QA
76
.
54
.
A44
1987
183. Intructor's guide to accompany introduction to computer science with applications in PASCAL
پدیدآورنده : Garland, Stephen J
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Electronic data processing,، Electronic digital computers - programming,، Algorithms,، Pascal )computer program language(
رده :
QA
76
.
G315
1986
guide
184. Java 2 certification exam guide for programmers and developers
پدیدآورنده : Boone, Barry
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing personnel-- Certification,، Programming languages )Electronic computers(-- Examinations,، Java )Computer program language(
رده :
QA
76
.
3
.
B658
2000
185. Java 2 certification training guide
پدیدآورنده : / Jamie Jaworski
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic data processing personnel--Certification,Programming languages (Electronic computers)--Examinations--Study guides,Java (Computer program language)
رده :
QA
,
76
.
3
,.
J39
,
1999
186. Java 2 certification training guide
پدیدآورنده : / Jamie Jaworski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic data processing personnel- Certification,Programming languages (Electronic computers)- Examinations Study guides,Java (Computer program language)
رده :
QA76
.
3
.
J39
1999
187. Journal on data semantics VII
پدیدآورنده : / Stefano Spaccapietra ... [et al.] (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Semantic Web.,Ontology.,Semantics--Data processing,Programming languages (Electronic computers)--Semantics
188. Journal on data semantics VIII
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Semantic Web. ; Ontology. ; Semantics ; Data processing. ; Programming languages (Electronic computers) ; Semantics. ;
189. Journal on data semantics XIII
پدیدآورنده : Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ontology,Programming languages (Electronic computers)-- Semantics,Semantic Web,Semantics-- Data processing
رده :
QA76
.
7
.
J63
2009eb
190. Knowledge- based programming
پدیدآورنده : Tyugu, E. Kh. )Enn Kharaldovich(, 5391-
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Artificial intelligence- Data processing,، Programming )Electronic computers(
191. L'informatique et les systemes
پدیدآورنده : Dupuy, Roger
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing,، Electronic digital computers-- Programming
رده :
QA
76
.
D83
192. La method informatique; conception et realisation de l'informatique de gestion
پدیدآورنده : Mallet, Robert A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Management information systems,، Electronic data processing-- Business,، Programming )Electronic Computers(
رده :
Q
111
.
A3
no
.
1340
193. La methode informatique; conception et realisation de L'informatique de gestion
پدیدآورنده : / Robert A. Mallet
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Management information systems,Electronic data processing - Business,Programming (Elctronic computers)
رده :
658
.
054
Ma-M
194. <La> technique informatique
پدیدآورنده : / par Helene Bestougeff, Christian Guilpin et Michel Jacques
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers--Programming,Numerical analysis--Data processing
رده :
QA76
.
6
.
B4
195. La technique informatique
پدیدآورنده : / Helene Bestougeff, Chritian Guilpin, Michel Jacques
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Electronic data processing - Numerical analysis
رده :
001
.
642
Be-T
196. Language and rules
پدیدآورنده : Wheatly
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Linguistics -- Bibliography,Language data processing,Programming language (Electronic Computers)
رده :
P
98
.
W5
197. Language and rules. The Hague, Mouton, 1970
پدیدآورنده : Wheatley, Jon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Linguistics,، Language data processing,، Programming languages )Electronic computers(
رده :
P
98
.
W5
198. Logic: A Computer approach
پدیدآورنده : Morton L. Schagrin, William J. Rapaport, Randall R. Dipert
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Logic- Data processing,Algorithms,Electronic digital computers- Programming
رده :
BC
،
138
،.
S32
،
1985
199. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده : A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
200. Maple user manual.
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Maple (Computer file),Maple (Computer file),Mathematics-- Data processing.,Programming languages (Electronic computers),Mathematics-- Data processing.,Programming languages (Electronic computers)
رده :
QA76
.
95
.
M362
2005
